Hand-Writing Program Generator Generators
نویسندگان
چکیده
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a partial evaluator. We show the basic principles of how to construct a program generator generator by presenting a program generator generator for a skeletal language, and we argue that it is not more difficult to use the direct approach than the indirect approach. Moreover, we report on some promising experiments made with a prototype implementation of a program generator generator for most of the Standard ML Core Language. To the best of our knowledge, our prototype is the first succesfully implemented hand-written program generator generator for a statically typed language.
منابع مشابه
START: A Linguistic Reflection Tool Using Hyper-Program Technology
The mechanism of linguistic reflection allows a programming system to generate new program fragments and incorporate them into the system. Although this ability has important applications in persistent systems, its use has been limited by the difficulty of writing reflective programs. This paper analyses the reasons for this difficulty and describes START, a hyper-text based tool for reflection...
متن کاملPragmatic Aspects of Reusable Program Generators
When writing a program generator requires considerable intellectual effort, it is valuable to amortize that effort by using the generator to build more than one application. When a program generator serves multiple clients, however, the implementor must address pragmatic questions that implementors of single-use program generators can ignore. In how many languages should generated code be writt...
متن کاملProgram Generators and the Tools to Make Them
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper we discuss the potential impact and research value of program generation, give examples of our research in the area, and outline a future work direction that we consider most interesting. Specifically, we first discuss why program generators have significant app...
متن کاملTesting Completeness of Code Selector Specifications
1 I n t r o d u c t i o n The tree pat tern matching approach for code selection has proven very successful. I t allows to specify code selectors using declarative specifications and to derive efficient code selectors automatically. The program which translates the specification into the final code selector program is called code selector generator. Sometimes it is integrated with generators fo...
متن کاملAdaptive test program generation: planning for the unplanned
Simulation of automatically generated test programs is the main means for verifying complex hardware designs and random test program generators therefore play a major role in the verification process of micro-processors. The input for a test program generator is typically an abstract specification—a template—of the tests to be generated. Due to randomness, generators often encounter situations ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994